| 翻訳と辞書 |
| Per Lindström (logician) ： ウィキペディア英語版 |
Per Lindström
Per "Pelle" Lindström (April 9, 1936 – August 21, 2009, Gothenburg)〔ASL (Newsletter ), September 2009〕 was a Swedish logician, after whom Lindström's theorem and the Lindström quantifier are named. (He also independently discovered Ehrenfeucht–Fraïssé games.〔) He was one of the key followers of Lars Svenonius.
A festschrift for Lindström was published in 1986.
== Selected publications ==
* Per Lindström, First Order Predicate Logic with Generalized Quantifiers, ''Theoria'' 32, 1966, 186–195.
* Per Lindström, On Extensions of Elementary Logic, ''Theoria'' 35, 1969, 1–11.
* ; 2nd ed. published by ASL in 2003, ISBN 978-1-56881-173-4
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Per Lindström」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|